Computability in an Introductory Course

Introduction to Computability Theory

These are notes for a short introductory course on Computability Theory (or recursive function theory). The basic notion of computability is defined in terms of a simple imperative programming language.

Computability in an Introductory Course on Programming

The programming approach to computability presented in the textbook by Kfoury, Moll, and Arbib in 1982 has been embedded into a programming course following the textbook by Abelson and Sussman. This leads to a course concept teaching good programming practice and clear theoretical concepts simultaneously. Here, we explain some of the main points of this approach: the halting problem, primitive ...

Designing, implementing, and evaluating an introductory course on virtual learning in the Covid-19 pandemic era

Background & Objective: The sudden outbreak of Covid-19 affected the educational systems worldwide and highlighted the necessity of students' virtual education. Therefore, the present study aimed to compile, implement, and evaluate an introductory course on virtual learning for medical students. Materials & Methods: The present scholarly research was conducted in four stages: 1) needs assessme...

Introductory Statistics Unconstrained by Computability: A New Cobb Salad

Computation Theory in a Digital Systems Course

1 Pong P. Chu, Electrical and Computer Engineering Department, Cleveland State University, Cleveland, OH 44115, [email protected] Abstract  Programmable devices and EDA (Electronic Design Automation) software tools are widely used to design today’s digital systems. Many introductory digital systems courses are aware of the trend and integrate the technology, especially HDL (Hardware Descriptio...